Was sagen die Studierenden zur E-Learning- Strategie der Hochschule?

E-Learning an der Hochschule bedarf einer Strategie. Dies scheint unumstritten und heutzutage eine Notwendigkeit. Zunehmend stellt sich aber die Frage, wie dies die Studierenden sehen. In dieser Arbeit stellen wir kurz den Prozess der Strategieentwicklung einer Universität dar und bringen diesen mit einer parallel dazu durchgeführten Studierendenumfrage in Zusammenhang. Die Auswertung zeigt, dass Studierende vermehrt Online-Inhalte einfordern und dass E-Learning für sie ein klares Qualitätsmerkmal in der Hochschullehre ist. 27.04.2015 | Martin Ebner, Martin Schön & Walther Nagler (Graz

The association between short periods of everyday life activities and affective states: a replication study using ambulatory assessment

Regularly conducted exercise programs effectively influence affective states. Studies suggest that this is also true for short bouts of physical activity (PA) of 10 min or less. Accordingly, everyday life activities of short duration might be used to regulate affective states. However, this association has rarely been studied in reference to unstructured activities in ongoing real-life situations. The current study examined the influence of various everyday life activities on three dimensions of mood (valence, calmness, energetic arousal) in a predominantly inactive sample. Ambulatory Assessment (AA) was used to investigate the association between actual PA and affective states during the course of 1 day. Seventy-seven students ages 19–30 participated in the study. PA was assessed with accelerometers, and affective state assessments were conducted hourly using an e-diary with a six-item mood scale that was specially designed for AA. Multilevel analyses indicated that the mood dimensions energetic arousal (p = 0.001) and valence (p = 0.005) were positively influenced by the intensity of the activity carried out in the 10-min prior to the assessment. As their activity increased, the participants’ positive feelings and energetic arousal increased. However, the students’ calmness was not affected by their activity levels.The findings highlight the importance of integrating short activity intervals of 10 min or less into everyday life routines to improve affective states

An Extensible User Interface for Lean 4

Contemporary proof assistants rely on complex automation and process libraries with millions of lines of code. At these scales, understanding the emergent interactions between components can be a serious challenge. One way of managing complexity, long established in informal practice, is through varying external representations. For instance, algebraic notation facilitates term-based reasoning whereas geometric diagrams invoke spatial intuition. Objects viewed one way become much simpler than when viewed differently. In contrast, modern general-purpose ITP systems usually only support limited, textual representations. Treating this as a problem of human-computer interaction, we aim to demonstrate that presentations - UI elements that store references to the objects they are displaying - are a fruitful way of thinking about ITP interface design. They allow us to make headway on two fronts - introspection of prover internals and support for diagrammatic reasoning. To this end we have built an extensible user interface for the Lean 4 prover with an associated ProofWidgets 4 library of presentation-based UI components. We demonstrate the system with several examples including type information popups, structured traces, contextual suggestions, a display for algebraic reasoning, and visualizations of red-black trees. Our interface is already part of the core Lean distribution

Anisotropy in the helicity modulus of a 3D XY-model: application to YBCO

We present a Monte Carlo study of the helicity moduli of an anisotropic classical three-dimensional (3D) XY-model of YBCO in superconducting state. It is found that both the ab-plane and the c-axis helicity moduli, which are proportional to the inverse square of the corresponding magnetic field penetration depth, vary linearly with temperature at low temperatures. The result for the c-axis helicity modulus is in disagreement with the experiments on high quality samples of YBCO. Thus we conclude that purely classical phase fluctuations of the superconducting order parameter cannot account for the observed c-axis electrodynamics of YBCO.Comment: 7 pages, 1 figur

Precursors of Cytochrome Oxidase in Cytochrome-Oxidase-Deficient Cells of Neurospora crassa

Three different cell types of Neurospora crassa deficient in cytochrome oxidase were studied: the nuclear mutant cni-1, the cytoplasmic mutant mi-1 and copper-depleted wild-type cells. * 1. The enzyme-deficient cells have retained a functioning mitochondrial protein synthesis. It accounted for 12–16% of the total protein synthesis of the cell. However, the analysis of mitochondrial translation products by gel electrophoresis revealed that different amounts of individual membrane proteins were synthesized. Especially mutant cni-1 produced large amounts of a small molecular weight translation product, which is barely detectable in wild-type. * 2. Mitochondrial preparations of cytochrome-oxidase-deficient cells were examined for precursors of cytochrome oxidase. The presence of polypeptide components of cytochrome oxidase in the mitochondria was established with specific antibodies. On the other hand, no significant amounts of heme a could be extracted. * 3. Radioactively labelled components of cytochrome oxidase were isolated by immunoprecipitation and analysed by gel electrophoresis. All three cell types contained the enzyme components 4–7, which are translated on cytoplasmic ribosomes. The mitochondrially synthesized components 1–3 were present in mi-1 mutant and in copper-depleted wild-type cells. In contrast, components 2 and 3 were not detectable in the nuclear mutant cni-1. Both relative and absolute amounts of these polypeptides in the enzyme-deficient cells were quite different from those in wild-type cells. * 4. The components of cytochrome oxidase found in the enzyme-deficient cells were tightly associated with the mitochondrial membranes. * 5. Processes, which affect and may control the production of enzyme precursors or their assembly to a functional cytochrome oxidase are discussed